Cannot set OPTIONS pragma --sized-types and --guardedness
with safe flag.
